Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
A Formal Model of the Kubernetes Container Framework
2020-01-01 Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F.
Formamide Dehydration and Condensation on Acidic Montmorillonite: Mechanistic Insights from Ab-Initio Periodic Simulations
2020-01-01 Pantaleone S.; Rimola A.; Navarro-Ruiz J.; Mignon P.; Sodupe M.; Ugliengo P.; Balucani N.
Fragility and Robustness in Multiagent Systems
2021-01-01 Matteo Baldoni, Cristina Baroglio, Roberto Micalizio
Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets
2017-01-01 Lai, Mirko; HERNANDEZ FARIAS, DELIA IRAZU; Patti, Viviana; Rosso, Paolo
From Notation to Semantics: There and Back Again
2006-01-01 Padovani, Luca; Zacchiroli, S.
A Genetic Programming Approach to Predict Mosquitoes Abundance
2019-01-01 Gervasi, Riccardo; Azzali, Irene; Bisanzio, Donal; Mosca, Andrea; Bertolotti, Luigi; Giacobini, Mario
Geospatial Tools in Support of Urban Planning: A Possible Role of Historical Maps in Programming a Sustainable Future for Cities
2020-01-01 Borgogno-Mondino E.; Lessio A.
Goal Distribution in Business Process Models
2018-01-01 Baldoni Matteo, Baroglio Cristina, Micalizio Roberto
Governing Agents on the Web
2023-01-01 Victor Charpenay, Matteo Baldoni, Andrei Ciortea, Stephen Cranefield, Julian Padjet, Munindar P. Singh
GPU accelerated analysis of treg-teff cross regulation in relapsing-remitting multiple sclerosis
2019-01-01 Beccuti M.; Cazzaniga P.; Pennisi M.; Besozzi D.; Nobile M.S.; Pernice S.; Russo G.; Tangherloni A.; Pappalardo F.
Gtt: Guiding the tensor train decomposition
2020-01-01 Li M.-L.; Candan K.S.; Sapino M.L.
How to Program Organizations and Roles in the JADE Framework
2008-01-01 M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
A hybrid approach to the verification of computer interpretable guidelines
2015-01-01 Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro
Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity
2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
2020-01-01 Dalmonte T.; Olivetti N.; Pozzato G.L.
Implementation of Choice of Jurisdiction and Law in Private Internatinal Law by PROLEG Meta-interpreter
2021-01-01 Ken Satoh, Laura Giordano, Matteo Baldoni
An Information Model for Computing Accountabilities
2018-01-01 Baldoni Matteo, Baroglio Cristina, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano
Integrating legal-URN and eunomos: Towards a comprehensive compliance management solution
2014-01-01 Boella G.; Tosatto S.C.; Ghanavati S.; Hulstijn J.; Humphreys L.; Muthuri R.; Rifaut A.; Van Der Torre L.
Intelligent Supervision for Robust Plan Execution.
2011-01-01 Roberto Micalizio; Enrico Scala; Pietro Torasso
An Interaction-oriented Agent Framework for Open Environments
2011-01-01 M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Model of the Kubernetes Container Framework | 2020 | Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F. | |
| Formamide Dehydration and Condensation on Acidic Montmorillonite: Mechanistic Insights from Ab-Initio Periodic Simulations | 2020 | Pantaleone S.; Rimola A.; Navarro-Ruiz J.; Mignon P.; Sodupe M.; Ugliengo P.; Balucani N. | |
| Fragility and Robustness in Multiagent Systems | 2021 | Matteo Baldoni, Cristina Baroglio, Roberto Micalizio | |
| Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets | 2017 | Lai, Mirko; HERNANDEZ FARIAS, DELIA IRAZU; Patti, Viviana; Rosso, Paolo | |
| From Notation to Semantics: There and Back Again | 2006 | Padovani, Luca; Zacchiroli, S. | |
| A Genetic Programming Approach to Predict Mosquitoes Abundance | 2019 | Gervasi, Riccardo; Azzali, Irene; Bisanzio, Donal; Mosca, Andrea; Bertolotti, Luigi; Giacobini, Mario | |
| Geospatial Tools in Support of Urban Planning: A Possible Role of Historical Maps in Programming a Sustainable Future for Cities | 2020 | Borgogno-Mondino E.; Lessio A. | |
| Goal Distribution in Business Process Models | 2018 | Baldoni Matteo, Baroglio Cristina, Micalizio Roberto | |
| Governing Agents on the Web | 2023 | Victor Charpenay, Matteo Baldoni, Andrei Ciortea, Stephen Cranefield, Julian Padjet, Munindar P. Singh | |
| GPU accelerated analysis of treg-teff cross regulation in relapsing-remitting multiple sclerosis | 2019 | Beccuti M.; Cazzaniga P.; Pennisi M.; Besozzi D.; Nobile M.S.; Pernice S.; Russo G.; Tangherloni A.; Pappalardo F. | |
| Gtt: Guiding the tensor train decomposition | 2020 | Li M.-L.; Candan K.S.; Sapino M.L. | |
| How to Program Organizations and Roles in the JADE Framework | 2008 | M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE | |
| A hybrid approach to the verification of computer interpretable guidelines | 2015 | Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro | |
| Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity | 2017 | Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca | |
| HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) | 2020 | Dalmonte T.; Olivetti N.; Pozzato G.L. | |
| Implementation of Choice of Jurisdiction and Law in Private Internatinal Law by PROLEG Meta-interpreter | 2021 | Ken Satoh, Laura Giordano, Matteo Baldoni | |
| An Information Model for Computing Accountabilities | 2018 | Baldoni Matteo, Baroglio Cristina, May Katherine Marie, Micalizio Roberto, Tedeschi Stefano | |
| Integrating legal-URN and eunomos: Towards a comprehensive compliance management solution | 2014 | Boella G.; Tosatto S.C.; Ghanavati S.; Hulstijn J.; Humphreys L.; Muthuri R.; Rifaut A.; Van Der Torre L. | |
| Intelligent Supervision for Robust Plan Execution. | 2011 | Roberto Micalizio; Enrico Scala; Pietro Torasso | |
| An Interaction-oriented Agent Framework for Open Environments | 2011 | M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile